Skip to content

chore: markdown-lint git-tracked + per-dev gitignore (#1240)#1249

Merged
FabioLeitao merged 1 commit into
mainfrom
chore/markdown-lint-git-tracked-1240
Jul 15, 2026
Merged

chore: markdown-lint git-tracked + per-dev gitignore (#1240)#1249
FabioLeitao merged 1 commit into
mainfrom
chore/markdown-lint-git-tracked-1240

Conversation

@FabioLeitao

Copy link
Copy Markdown
Collaborator

Summary

  • Gitignore per-dev tooling/venvs (.locust_env/, .jolli/, .gemini/, .tours/, .agents/, .claude/settings.local.json, .vscode/launch.json) — do not ignore whole .claude/ or .cursor/skills.
  • tests/test_markdown_lint.py: collect via git ls-files -z '*.md' '*.mdc' (local == CI), with rglob fallback when git is unavailable.

Closes #1240

Test plan

  • ./scripts/quick-test.sh --path tests/test_markdown_lint.py (passes with untracked .jolli/ present)
  • git check-ignore covers listed paths
  • ./scripts/check-all.sh --enforced
  • CI green on PR

Made with Cursor

Stop local markdown-lint false positives from untracked jolli/venv
trees so local gate matches clean CI checkouts.

Closes #1240
@FabioLeitao
FabioLeitao merged commit 899894d into main Jul 15, 2026
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant